Next generation VAMS®–Trypsin immobilization for instant proteolysis in bottom-up protein determination

Membrane protein structure determination — The next generation☆☆☆

The field of Membrane Protein Structural Biology has grown significantly since its first landmark in 1985 with the first three-dimensional atomic resolution structure of a membrane protein. Nearly twenty-six years later, the crystal structure of the beta2 adrenergic receptor in complex with G protein has contributed to another landmark in the field leading to the 2012 Nobel Prize in Chemistry. ...

Next-Generation Head-up Displays

Bottom-up Abduction by Model Generation

We invest igate two real izat ions of paral lel abduct ive reasoning systems using the model generat ion theorem prover M G T P . The f irst one, called the M G T P + M G T P method , is a co-operat ive problem-solv ing archi tecture in wh ich model generat ion and consistency checking communicate w i t h each other. There , paral lel ism is explo i ted by checking consistencies in paral le l ....

Blocking and Other Enhancements for Bottom-Up Model Generation Methods

In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order problems into a certain implicational form, namely rangerestricted clauses. These refine existing transformations to range-restricted form by extending the domain of interpretation with new Skolem terms in a more careful an...

Astronomy and Astrophysics Orbit Determination for next Generation Space Clocks

In this paper, we study the requirements on orbit determination compatible with operation of next generation space clocks at their expected uncertainty. Using the ACES (Atomic Clock Ensemble in Space) mission as an example, we develop a relativistic model for time and frequency transfer to investigate the effects of orbit determination errors. We show that, for the considered orbit error models...